Lawrence C. Paulson (auth.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 15.23 MB

0 / 0

english, 2009

2

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 4.44 MB

0 / 0

english, 2013

3

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.20 MB

0 / 5.0

english, 2010

4

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 4.66 MB

0 / 0

english, 2013

5

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 22.57 MB

0 / 0

english, 2009

6

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Lennart Beringer, Amy Felty (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 4.35 MB

0 / 0

english, 2012

7

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Lennart Beringer, Amy Felty (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 6.52 MB

0 / 0

english, 2012

8

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.26 MB

0 / 0

english, 2010

9

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 1.37 MB

0 / 0

english, 1999

10

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 2.18 MB

0 / 0

english, 1999